second-order logic - Allemand Anglais Dictionnaire